foo.[a: int]